$\vdash$  ($\lambda$$A$,$B$,$z$. $A$ $\Leftarrow\!\Rightarrow$ $B$) $\in$ $\mathbb{P}\rightarrow\mathbb{P}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}$